Higher order dielectrophoretic force characterisation of non-spherical particles
نویسندگان
چکیده
منابع مشابه
Saltation of Non-Spherical Sand Particles
Saltation is an important geological process and the primary source of atmospheric mineral dust aerosols. Unfortunately, no studies to date have been able to precisely reproduce the saltation process because of the simplified theoretical models used. For example, sand particles in most of the existing wind sand movement models are considered to be spherical, the effects of the sand shape on the...
متن کاملllenges in packing problems: from spherical to non-spherical particles
HIGHLIGHT Adrian Baule and Hernán A. Makse Fundamental challenges in packing problems: from spherical to non-spherical particles Random packings of objects of a particular shape are ubiquitous in science and engineering. However, such jammed matter states have eluded any systematic theoretical treatment due to the strong positional and orientational correlations involved. In recent years progre...
متن کاملHigher-Order (Non-)Modularity
We show that, contrary to the situation in first-order term rewriting, almostnone of the usual properties of rewriting are modular for higher-order rewriting, irre-spective of the higher-order rewriting format. For the particular format of simply typedapplicative term rewriting systems we prove that modularity of confluence, normalization,and termination can be recovered by impo...
متن کاملDielectrophoretic force microscopy of aqueous interfaces.
A novel scanning probe microscopy technique has allowed dielectrophoretic force imaging with nanoscale spatial resolution. Dielectrophoresis (DEP) traditionally describes the mobility of polarizable particles in inhomogeneous alternating current (ac) electric fields. Integrating DEP with atomic force microscopy allows for noncontact imaging with the image contrast related to the local electric ...
متن کاملHigher-Order Abstract Non-interference
This work proposes a type system for checking Abstract Non-Interference in the setting of simply-typed lambda calculus with basic types and recursion. A lambda-expression satisfies Abstract NonInterference relatively to a given semantic property if an attacker which can only see program data up to that property cannot infer, by observing a computation, private data from public ones. Attackers a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2011
ISSN: 1742-6596
DOI: 10.1088/1742-6596/301/1/012061